This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in thi[...]

This book is about all kinds of numbers, from rationals to octonians, reals to infinitesimals. It is a story about a major thread of mathematics over thousands of years, and it answers everything from why Hamilton was obsessed with quaternions to what the prospect was for quaternionic analysis in th[...]